Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств
1
In-Memory Computing: Synthesis and Optimization

In-Memory Computing: Synthesis and Optimization

Saeideh Shirinzadeh, Rolf Drechsler
Год:
2019
Язык:
english
Файл:
PDF, 2.05 MB
0 / 0
english, 2019
2
Debugging at the Electronic System Level

Debugging at the Electronic System Level

Frank Rogin, Rolf Drechsler (auth.)
Год:
2010
Язык:
english
Файл:
PDF, 2.72 MB
0 / 0
english, 2010
3
Computer: Wie funktionieren Smartphone, Tablet & Co.?

Computer: Wie funktionieren Smartphone, Tablet & Co.?

Rolf Drechsler, Andrea Fink, Jannis Stoppe (auth.)
Год:
2017
Язык:
german
Файл:
PDF, 2.44 MB
0 / 5.0
german, 2017
4
Test pattern generation using Boolean proof engines

Test pattern generation using Boolean proof engines

Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille (auth.)
Год:
2009
Язык:
english
Файл:
PDF, 6.22 MB
0 / 0
english, 2009
5
Evolutionary Algorithms for Embedded System Design

Evolutionary Algorithms for Embedded System Design

Joachim Wegener (auth.), Rolf Drechsler, Nicole Drechsler (eds.)
Год:
2003
Язык:
english
Файл:
PDF, 14.21 MB
0 / 0
english, 2003
6
Advanced Formal Verification

Advanced Formal Verification

Rolf Drechsler
Год:
2004
Язык:
english
Файл:
PDF, 4.44 MB
0 / 0
english, 2004
7
Computer - Wie funktionieren Smartphone, Tablet & Co.?

Computer - Wie funktionieren Smartphone, Tablet & Co.?

Rolf Drechsler, Andrea Fink, Jannis Stoppe
Год:
2017
Язык:
german
Файл:
PDF, 2.44 MB
0 / 0
german, 2017
8
Erweitertes Virtuelles Prototyping: Mit RISC-V-Fallstudien

Erweitertes Virtuelles Prototyping: Mit RISC-V-Fallstudien

Vladimir Herdt, Daniel Große, Rolf Drechsler
Год:
2023
Язык:
german
Файл:
PDF, 8.13 MB
0 / 5.0
german, 2023
9
Erweiterte virtuelle Prototypen für heterogene Systeme

Erweiterte virtuelle Prototypen für heterogene Systeme

Muhammad Hassan, Daniel Große, Rolf Drechsler
Год:
2024
Язык:
german
Файл:
PDF, 5.16 MB
0 / 0
german, 2024
13
Advanced formal verification

Advanced formal verification

Rolf Drechsler
Год:
2004
Язык:
english
Файл:
PDF, 2.02 MB
0 / 0
english, 2004
16
Advanced Formal Verification

Advanced Formal Verification

Rolf Drechsler
Год:
2004
Язык:
english
Файл:
PDF, 4.44 MB
0 / 0
english, 2004
19
Advanced Formal Verification

Advanced Formal Verification

Rolf Drechsler
Год:
2004
Язык:
english
Файл:
PDF, 4.04 MB
0 / 0
english, 2004
21
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Vladimir Herdt, Daniel Große, Rolf Drechsler
Год:
2021
Язык:
english
Файл:
PDF, 4.83 MB
0 / 0
english, 2021
22
Formal system verification : state-of the-art and future trends

Formal system verification : state-of the-art and future trends

Drechsler, Rolf
Год:
2018
Язык:
english
Файл:
PDF, 6.33 MB
0 / 5.0
english, 2018
23
Information Storage: A Multidisciplinary Perspective

Information Storage: A Multidisciplinary Perspective

Cornelia S. Große, Rolf Drechsler
Год:
2020
Язык:
english
Файл:
PDF, 6.62 MB
0 / 0
english, 2020
24
Advanced Logic Synthesis

Advanced Logic Synthesis

André Inácio Reis, Rolf Drechsler (eds.)
Год:
2018
Язык:
english
Файл:
PDF, 6.76 MB
0 / 5.0
english, 2018
26
Natural Language Processing for Electronic Design Automation

Natural Language Processing for Electronic Design Automation

Mathias Soeken, Rolf Drechsler
Год:
2020
Язык:
english
Файл:
PDF, 3.59 MB
5.0 / 5.0
english, 2020
27
Reversible and Quantum Circuits: Optimization and Complexity Analysis

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Nabila Abdessaied, Rolf Drechsler (auth.)
Год:
2016
Язык:
english
Файл:
PDF, 5.99 MB
0 / 0
english, 2016
28
Formal Specification Level: Concepts, Methods, and Algorithms

Formal Specification Level: Concepts, Methods, and Algorithms

Mathias Soeken, Rolf Drechsler (auth.)
Год:
2015
Язык:
english
Файл:
PDF, 7.24 MB
0 / 0
english, 2015
29
Exact Design of Digital Microfluidic Biochips

Exact Design of Digital Microfluidic Biochips

Oliver Keszocze, Robert Wille, Rolf Drechsler
Год:
2019
Язык:
english
Файл:
PDF, 4.03 MB
0 / 0
english, 2019
30
Design Automation for Field-coupled Nanotechnologies

Design Automation for Field-coupled Nanotechnologies

Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
Год:
2022
Язык:
english
Файл:
PDF, 5.57 MB
0 / 0
english, 2022
32
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never

Pascal Pieper, Rolf Drechsler
Год:
2024
Язык:
english
Файл:
PDF, 12.00 MB
0 / 0
english, 2024
33
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Vladimir Herdt, Daniel Große, Rolf Drechsler
Год:
2021
Язык:
english
Файл:
PDF, 4.83 MB
0 / 0
english, 2021
35
Quality-Driven SystemC Design

Quality-Driven SystemC Design

Daniel Große, Rolf Drechsler (auth.)
Год:
2010
Язык:
english
Файл:
PDF, 2.70 MB
0 / 0
english, 2010
36
Enhanced Virtual Prototyping for Heterogeneous Systems

Enhanced Virtual Prototyping for Heterogeneous Systems

Muhammad Hassan, Daniel Große, Rolf Drechsler
Год:
2022
Язык:
english
Файл:
PDF, 3.34 MB
0 / 5.0
english, 2022
37
Advanced BDD Optimization

Advanced BDD Optimization

Rudiger Ebendt, Görschwin Fey, Rolf Drechsler
Год:
2005
Язык:
english
Файл:
PDF, 3.46 MB
0 / 0
english, 2005
38
In-Memory-Computing: Synthese und Optimierung

In-Memory-Computing: Synthese und Optimierung

Saeideh Shirinzadeh, Rolf Drechsler
Год:
2023
Язык:
german
Файл:
PDF, 5.23 MB
0 / 0
german, 2023
41
Formal System Verification: State-of the-Art and Future Trends

Formal System Verification: State-of the-Art and Future Trends

Drechsler, Rolf
Год:
2018
Язык:
english
Файл:
PDF, 6.33 MB
0 / 0
english, 2018
42
Evolutionary Algorithms for VLSI CAD

Evolutionary Algorithms for VLSI CAD

Rolf Drechsler (auth.)
Год:
1998
Язык:
english
Файл:
PDF, 4.85 MB
0 / 0
english, 1998
43
Formal Verification of Structurally Complex Multipliers

Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon, Daniel Große, Rolf Drechsler
Год:
2023
Язык:
english
Файл:
PDF, 4.19 MB
5.0 / 5.0
english, 2023
44
High Quality Test Pattern Generation and Boolean Satisfiability

High Quality Test Pattern Generation and Boolean Satisfiability

Stephan Eggersglüß, Rolf Drechsler (auth.)
Год:
2012
Язык:
english
Файл:
PDF, 1.51 MB
0 / 0
english, 2012
45
Formal Verification of Circuits

Formal Verification of Circuits

Rolf Drechsler (auth.)
Год:
2000
Язык:
english
Файл:
PDF, 12.73 MB
0 / 0
english, 2000
46
Binary Decision Diagrams: Theory and Implementation

Binary Decision Diagrams: Theory and Implementation

Rolf Drechsler, Bernd Becker (auth.)
Год:
1998
Язык:
english
Файл:
PDF, 7.56 MB
0 / 0
english, 1998
47
Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems

Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems

Rolf Drechsler, Sebastian Huhn
Год:
2023
Язык:
english
Файл:
PDF, 5.40 MB
5.0 / 5.0
english, 2023
48
Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic

Robert Wille, Rolf Drechsler (auth.)
Год:
2010
Язык:
english
Файл:
PDF, 3.49 MB
0 / 0
english, 2010
49
Robustness and Usability in Modern Design Flows

Robustness and Usability in Modern Design Flows

Görschwin Fey, Rolf Drechsler
Год:
2008
Язык:
english
Файл:
PDF, 769 KB
0 / 0
english, 2008
50
Advanced Boolean Techniques. Selected Papers from the 15th International Workshop on Boolean Problems

Advanced Boolean Techniques. Selected Papers from the 15th International Workshop on Boolean Problems

Rolf Drechsler, Sebastian Huhn
Год:
2023
Язык:
english
Файл:
PDF, 5.51 MB
5.0 / 0
english, 2023